Buy Used and New Stephan Schulz Books

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... 10900 (Lecture Notes in Computer Science)

by Didier Galmiche,Stephan Schulz,Roberto Sebastiani

ISBN 13: 9783319942049

Format: Paperback (744 pages)
Publisher: Springer
Published: 01 Jul 2018

Save for later